Extracting State Constraints from PDDL-like Planning Domains
ثبت نشده
چکیده
منابع مشابه
Extracting State Constraints from PDDL-like Planning Domains
We describe a new method for inferring state constraints from PDDL-style planning problems. Planning systems can use state constraints as valuable domain-dependent knowledge to cut the search space and to speed up planning. A large and important class of state constraints are c-constraints which are prevalent among the constraints inferred by current techniques. These techniques are restricted ...
متن کاملCASP solutions for planning in hybrid domains
CASP is an extension of ASP that allows for numerical constraints to be added in the rules. PDDL+ is an extension of the PDDL standard language of automated planning for modeling mixed discrete-continuous dynamics. In this paper, we present CASP solutions for dealing with PDDL+ problems, i.e., encoding from PDDL+ to CASP, and extensions to the algorithm of the ezcsp CASP solver in order to solv...
متن کاملThe Loyal Opposition Comments on Plan Domain Description Languages
In this paper we take a critical look at PDDL 2.1 as designers and users of plan domain description languages. We describe planning domains that have features which are hard to model using PDDL 2.1. We then offer some suggestions on domain description language design, and describe how these suggestions make modeling our chosen domains easier. The Loyal Opposition PDDL has served as the underpin...
متن کاملPDDL+ Planning via Constraint Answer Set Programming
PDDL+ is an extension of PDDL that enables modelling planning domains with mixed discrete-continuous dynamics. In this paper we present a new approach to PDDL+ planning based on Constraint Answer Set Programming (CASP), i.e. ASP rules plus numerical constraints. To the best of our knowledge, ours is the first attempt to link PDDL+ planning and logic programming. We provide an encoding of PDDL+ ...
متن کاملEfficient Planning with State Trajectory Constraints
This paper introduces a general planning approach with state trajectory constraints, a language extension that has recently been introduced to PDDL for running the Fifth International Planning Competition in 2006. In our approach PDDL inputs with state trajectory constraints are translated into ordinary (fully instantiated) PDDL. It exploits the automata-based interpretation of the constraints,...
متن کامل